import Euclid.*;

import java.util.*;

public class EuclidExport implements EuclidExporter {

	public String[] getExports()
	{
		return new String[] { "vector" };
	}
	
	public VarType vector(VarType... a)
	{
		// assume all ints for now
		ArrayList<IntVarType> vec = new ArrayList<IntVarType>();
		StringBuilder list = new StringBuilder();
		
		for (VarType v : a)
		{
			if (v instanceof IntVarType) {
				vec.add((IntVarType)v);
				list.append(v.formula).append(",");
			}
		}
		
		list.deleteCharAt(list.length()-1);  // boo
		
		return new IntVectorVarType(vec, "\\mathrm{vector}(" + list.toString() + ")");
	}
}
